Package edu.uky.ai.lp.logic

Interface Expression

All Superinterfaces:
Formula
All Known Implementing Classes:
BooleanExpression, Conjunction, Disjunction, Fact, NAryBooleanExpression, Negation
public interface Expression
extends Formula
An expression is any logical formula with a truth value.
Author:
Stephen G. Ware

  • Method Summary

    Modifier and Type Method Description
    Expression substitute​(Unifier unifier)
    Return a version of this formula with its variables replaced with the values assigned to them by a unifier.

    Methods inherited from interface edu.uky.ai.lp.logic.Formula

    unify

  • Method Details

    • substitute

      Expression substitute​(Unifier unifier)
      Description copied from interface: Formula
      Return a version of this formula with its variables replaced with the values assigned to them by a unifier.
      Specified by:
      substitute in interface Formula
      Parameters:
      unifier - the unifier
      Returns:
      the formula with variables replaced